نمایش نتایج جستجو برای
کلمات کلیدی: Formal Methods
موارد یافت شده: 4
1 - A New Approach to the Quantitative Measurement of Software Reliability (چکیده)2 - Design and Formal Verification of DZMBE+ (چکیده)
3 - A New Approach to Reliable, yet Flexible Software (چکیده)
4 - Reliable yet flexible software through formal model transformation (rule definition) (چکیده)
